Liouville numbers

نویسنده

  • Manuel Eberl
چکیده

In this work, we define the concept of Liouville numbers as well as the standard construction to obtain Liouville numbers and we prove their most important properties: irrationality and transcendence. This is historically interesting since Liouville numbers constructed in the standard way where the first numbers that were proven to be transcendental. The proof is very elementary and requires only standard arithmetic and the Mean Value Theorem for polynomials and the boundedness of polynomials on compact intervals.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

All Liouville Numbers are Transcendental

In this Mizar article, we complete the formalization of one of the items from Abad and Abad’s challenge list of “Top 100 Theorems” about Liouville numbers and the existence of transcendental numbers. It is item #18 from the “Formalizing 100 Theorems” list maintained by Freek Wiedijk at http: //www.cs.ru.nl/F.Wiedijk/100/. Liouville numbers were introduced by Joseph Liouville in 1844 [15] as an ...

متن کامل

Representations of Real Numbers as Sums and Products of Liouville Numbers

A real number x is a Liouville number if to each natural number m there corresponds a rational number hm/krn , with k n,> 1, such that 0 < I x hm/km , < ( 1/km)m Some years ago I showed (possibly jointly with Mahler), that every real number is the sum of two Liouville numbers . A proof of the proposition may now be in the literature, but I do not know of any reference . In any case, the followi...

متن کامل

Normal and Martin-Löf Random Numbers

We survey the current known relations between four classes of real numbers: Liouville numbers, computable reals, Borel absolutely normal numbers and Martin-Löf random reals. The expansions of the reals will play an important role. The paper refers to the original material and does not repeat the proofs; a characterisation of Liouville numbers in terms of their expansions will be proved. Finally...

متن کامل

A computable absolutely normal Liouville number

We give an algorithm that computes an absolutely normal Liouville number. 1. The main result The set of Liouville numbers is {x ∈ R \Q : ∀k ∈ N, ∃q ∈ N, q > 1 and ||qx|| < q−k} where ||x|| = min{|x−m| : m ∈ Z} is the distance of a real number x to the nearest integer and other notation is as usual. Liouville’s constant, ∑ k≥1 10 −k!, is the standard example of a Liouville number. Though uncount...

متن کامل

Non-constant bounded holomorphic functions of hyperbolic numbers - Candidates for hyperbolic activation functions

The Liouville theorem states that bounded holomorphic complex functions are necessarily constant. Holomorphic functions fulfill the socalled Cauchy-Riemann (CR) conditions. The CR conditions mean that a complex z-derivative is independent of the direction. Holomorphic functions are ideal for activation functions of complex neural networks, but the Liouville theorem makes them useless. Yet recen...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:
  • Archive of Formal Proofs

دوره 2015  شماره 

صفحات  -

تاریخ انتشار 2015